<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<title>airline-res: C:/Users/Joe/Development/Projects/University/FormalMethods/airline-res/src/main.cpp Source File</title>

<link href="tabs.css" rel="stylesheet" type="text/css"/>
<link href="doxygen.css" rel="stylesheet" type="text/css" />

<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { searchBox.OnSelectItem(0); });
</script>

</head>
<body>
<div id="top"><!-- do not remove this div! -->


<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  
  
  <td style="padding-left: 0.5em;">
   <div id="projectname">airline-res
   
   </div>
   <div id="projectbrief">A prototype airline flight booking system</div>
  </td>
  
  
  
 </tr>
 </tbody>
</table>
</div>

<!-- Generated by Doxygen 1.7.5.1 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="files.html"><span>File&#160;List</span></a></li>
    </ul>
  </div>
<div class="header">
  <div class="headertitle">
<div class="title">C:/Users/Joe/Development/Projects/University/FormalMethods/airline-res/src/main.cpp</div>  </div>
</div>
<div class="contents">
<div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 
<a name="l00002"></a>00002 <span class="preprocessor">#define IO_DEMO 0 // Change to 0 to enable &#39;real&#39; main function.</span>
<a name="l00003"></a>00003 <span class="preprocessor"></span>
<a name="l00004"></a>00004 <span class="preprocessor">#if IO_DEMO</span>
<a name="l00005"></a>00005 <span class="preprocessor"></span>
<a name="l00006"></a>00006 <span class="preprocessor">#include &lt;iostream&gt;</span>
<a name="l00007"></a>00007 <span class="preprocessor">#include &lt;algorithm&gt;</span>
<a name="l00008"></a>00008 
<a name="l00009"></a>00009 <span class="preprocessor">#include &quot;Core.h&quot;</span>
<a name="l00010"></a>00010 <span class="preprocessor">#include &quot;RecordManager.h&quot;</span>
<a name="l00011"></a>00011 
<a name="l00012"></a>00012 <span class="preprocessor">#include &quot;FlightRecord.h&quot;</span>
<a name="l00013"></a>00013 <span class="preprocessor">#include &quot;CustomerRecord.h&quot;</span>
<a name="l00014"></a>00014 <span class="preprocessor">#include &quot;BookingRecord.h&quot;</span>
<a name="l00015"></a>00015 <span class="preprocessor">#include &quot;UserRecord.h&quot;</span>
<a name="l00016"></a>00016 
<a name="l00017"></a>00017 <span class="preprocessor">#include &quot;TimeDate.h&quot;</span>
<a name="l00018"></a>00018 
<a name="l00019"></a>00019 <span class="keyword">using namespace </span>AirlineRes;
<a name="l00020"></a>00020 
<a name="l00021"></a>00021 <span class="keywordtype">int</span> main()
<a name="l00022"></a>00022 {
<a name="l00023"></a>00023   <span class="comment">// Create a record manager object and load data from disk.</span>
<a name="l00024"></a>00024   <a class="code" href="class_airline_res_1_1_record_manager.html">RecordManager&lt;UserRecord&gt;</a> userRecordManager;
<a name="l00025"></a>00025   userRecordManager.<a class="code" href="class_airline_res_1_1_record_manager.html#aa133d22b4b6340a81ea0787c0fc777be">LoadRecords</a>( <span class="stringliteral">&quot;users.txt&quot;</span> );
<a name="l00026"></a>00026 
<a name="l00027"></a>00027   <span class="comment">// Get a pointer to the record set.</span>
<a name="l00028"></a>00028   <span class="keyword">auto</span> users = userRecordManager.<a class="code" href="class_airline_res_1_1_record_manager.html#a5d8cc3cfcef3d721edc45f18d31ae68a">GetRecordSet</a>();
<a name="l00029"></a>00029 
<a name="l00030"></a>00030   <span class="comment">// Add some records.</span>
<a name="l00031"></a>00031   <a class="code" href="class_airline_res_1_1_user_record.html" title="Class to store and operate upon the data that comprises a system user.">UserRecord</a> ur1( <span class="stringliteral">&quot;Herbert&quot;</span>, <span class="stringliteral">&quot;HerbertIsCool&quot;</span>, <span class="keyword">true</span> );
<a name="l00032"></a>00032   <a class="code" href="class_airline_res_1_1_user_record.html" title="Class to store and operate upon the data that comprises a system user.">UserRecord</a> ur2( <span class="stringliteral">&quot;Bartholomew&quot;</span>, <span class="stringliteral">&quot;EatMyShorts&quot;</span>, <span class="keyword">false</span> );
<a name="l00033"></a>00033   userRecordManager.<a class="code" href="class_airline_res_1_1_record_manager.html#ac857f3dd39b92e73eaa9a40e8b7019f5">AddRecord</a>( ur1 );
<a name="l00034"></a>00034   userRecordManager.<a class="code" href="class_airline_res_1_1_record_manager.html#ac857f3dd39b92e73eaa9a40e8b7019f5">AddRecord</a>( ur2 );
<a name="l00035"></a>00035 
<a name="l00036"></a>00036   <span class="comment">// Edit a record.</span>
<a name="l00037"></a>00037   <span class="keyword">auto</span> tmpRecord = *std::find_if(
<a name="l00038"></a>00038     users-&gt;begin(), users-&gt;end(),
<a name="l00039"></a>00039     [](<a class="code" href="class_airline_res_1_1_user_record.html" title="Class to store and operate upon the data that comprises a system user.">UserRecord</a> <span class="keyword">const</span>&amp; _a){ <span class="keywordflow">return</span> _a.GetUsername() == <span class="stringliteral">&quot;Herbert&quot;</span>; }
<a name="l00040"></a>00040   );
<a name="l00041"></a>00041 
<a name="l00042"></a>00042   tmpRecord.SetPassword( <span class="stringliteral">&quot;HerbertIsNotCool&quot;</span> );
<a name="l00043"></a>00043   userRecordManager.<a class="code" href="class_airline_res_1_1_record_manager.html#a86495e023c7733c5b00723f32eb6dbf5">EditRecord</a>( tmpRecord );
<a name="l00044"></a>00044 
<a name="l00045"></a>00045   <span class="comment">// Edit a record in a different way.</span>
<a name="l00046"></a>00046   <span class="keywordflow">for</span> ( <span class="keyword">auto</span> it = users-&gt;begin(); it != users-&gt;end(); ++it )
<a name="l00047"></a>00047   {
<a name="l00048"></a>00048     <span class="keywordflow">if</span> ( it-&gt;GetUsername() == <span class="stringliteral">&quot;Bartholomew&quot;</span> )
<a name="l00049"></a>00049     {
<a name="l00050"></a>00050       <span class="keyword">auto</span> tmpRecord = *it;
<a name="l00051"></a>00051       tmpRecord.SetPassword( <span class="stringliteral">&quot;IronMyShorts&quot;</span> );
<a name="l00052"></a>00052       userRecordManager.<a class="code" href="class_airline_res_1_1_record_manager.html#a86495e023c7733c5b00723f32eb6dbf5">EditRecord</a>( tmpRecord );
<a name="l00053"></a>00053       <span class="keywordflow">break</span>;
<a name="l00054"></a>00054     }
<a name="l00055"></a>00055   }
<a name="l00056"></a>00056 
<a name="l00057"></a>00057   <span class="comment">// Print records to screen via the pointer we got earlier.</span>
<a name="l00058"></a>00058   <span class="keywordflow">for</span> ( <span class="keyword">auto</span> it = users-&gt;begin(); it != users-&gt;end(); ++it )
<a name="l00059"></a>00059   {
<a name="l00060"></a>00060     it-&gt;WriteRecord( std::cout );
<a name="l00061"></a>00061   }
<a name="l00062"></a>00062 
<a name="l00063"></a>00063   <span class="comment">// Save to disk.</span>
<a name="l00064"></a>00064   userRecordManager.<a class="code" href="class_airline_res_1_1_record_manager.html#aa285caf09fe5c29073a3fa71c5fd751d">WriteRecords</a>( <span class="stringliteral">&quot;test_output_users.txt&quot;</span> );
<a name="l00065"></a>00065 
<a name="l00066"></a>00066   <span class="comment">// Test the TimeDate class</span>
<a name="l00067"></a>00067   std::cout &lt;&lt; <span class="stringliteral">&quot;Time test\n&quot;</span>;
<a name="l00068"></a>00068   <a class="code" href="class_airline_res_1_1_time_date.html">TimeDate</a> t( 1999, 1, 2 );
<a name="l00069"></a>00069   std::cout &lt;&lt; t.GetISODate() &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; t.GetHHMM() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;
<a name="l00070"></a>00070 
<a name="l00071"></a>00071   std::cout &lt;&lt; <span class="stringliteral">&quot;Done. Press ENTER to exit.\n&quot;</span>;
<a name="l00072"></a>00072   std::cin.ignore(1);
<a name="l00073"></a>00073 
<a name="l00074"></a>00074   <span class="keywordflow">return</span> 0;
<a name="l00075"></a>00075 }
<a name="l00076"></a>00076 
<a name="l00077"></a>00077 <span class="preprocessor">#else</span>
<a name="l00078"></a>00078 <span class="preprocessor"></span>
<a name="l00079"></a>00079 <span class="preprocessor">#include &lt;iostream&gt;</span>
<a name="l00080"></a>00080 <span class="preprocessor">#include &quot;AirlineReservationSystem.h&quot;</span>
<a name="l00081"></a>00081 
<a name="l00082"></a>00082 <span class="keyword">using namespace </span>AirlineRes;
<a name="l00083"></a>00083 
<a name="l00084"></a>00084 <span class="keywordtype">int</span> main()
<a name="l00085"></a>00085 {
<a name="l00086"></a>00086   <a class="code" href="class_airline_res_1_1_airline_reservation_system.html">AirlineReservationSystem</a> arSystem;
<a name="l00087"></a>00087 
<a name="l00088"></a>00088   arSystem.<a class="code" href="class_airline_res_1_1_airline_reservation_system.html#a56107efb9c95e6ca63db1e571c59171a" title="Called to initialised the system.">Init</a>();
<a name="l00089"></a>00089   arSystem.<a class="code" href="class_airline_res_1_1_airline_reservation_system.html#ab8580997fb87edb39121111709405685" title="Called to start the system, i.e. begin responding interactively to user input.">Run</a>();
<a name="l00090"></a>00090   arSystem.<a class="code" href="class_airline_res_1_1_airline_reservation_system.html#ace963e7380e7ee4508113a642c370d80" title="Called after the user has exited the system.">Shutdown</a>();
<a name="l00091"></a>00091 
<a name="l00092"></a>00092   std::cout &lt;&lt; <span class="stringliteral">&quot;\nDone. Press ENTER to exit.\n&quot;</span>;
<a name="l00093"></a>00093   std::cin.sync();
<a name="l00094"></a>00094   std::cin.get();
<a name="l00095"></a>00095 
<a name="l00096"></a>00096   <span class="keywordflow">return</span> 0;
<a name="l00097"></a>00097 }
<a name="l00098"></a>00098 
<a name="l00099"></a>00099 <span class="preprocessor">#endif</span>
</pre></div></div>
</div>
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark">&#160;</span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark">&#160;</span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark">&#160;</span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark">&#160;</span>Typedefs</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark">&#160;</span>Enumerations</a></div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>



<hr class="footer"/><address class="footer"><small>
Generated on Wed Dec 14 2011 22:49:41 for airline-res by &#160;<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.7.5.1
</small></address>

</body>
</html>
